Analysis of MC/DC Coverage Percentage and Cyclometic Complexity for structured C Programs

نویسندگان

  • Sangharatna Godboley
  • Durga Prasad Mohapatra
چکیده

Now a days, testing activity consumes about 60% of software development resources, so any concept aiming at reducing Software Testing costs are likely to decrease the whole development costs. Proposed by NASA in 1994, the MC/DC criteria is a testing strategy required, among other practices, by the RTCA DO-178B. MC/DC is a white box testing criteria targeting at proving evidence that all clauses involved in a predicate can influence the predicate value in the required way. We automated the concept to identify predicates in structured C-Program using predicate identifier and Cyclometic Complexity Calculator. We automated the generation of number of test cases required to satisfy the MC/DC criteria using CREST Tool and evaluating MC/DC coverage percentage using coverage analyser.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Measuring Coverage Percentage for C Programs using Code Slicer and CREST Tool

Augmented test suite generation is a technique to minimise test effort and duration. Modified condition and decision coverage (MC/DC) is a white box software testing criteria targeting to prove all the conditions involved in a predicate which can influence the predicate value in an efficient way. The coverage analysis is a structural testing method, which helps to remove gaps in a test suite an...

متن کامل

Compositional Generation of MC/DC Integration Test Suites

We present a method for automatically generating tests for reactive systems specified by concurrently executing extended finite state machines. The generated test suites satisfy the modified condition/decision coverage criterion at unit and integration levels. The generation of MC/DC suites for eager first-order functional programs is subsumed. An industrial chip card case study illustrates the...

متن کامل

Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria

Given a test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection effectiveness. This paper presents an experimental evaluation of the variation in fault detection effectiveness of all the test-sets for a given control-flow test criterion and a Boolean specification. The exhaustive experimental approach complements the earlier empirical stu...

متن کامل

Model-Based Test-Suite Minimization using Modified Condition/Decision Coverage (MC/DC)

Testing is very expensive for high-assurance software, like commercial aircraft systems, weapon research, weather forecast, earthquake forecast, and software used for safety critical system. A small and simple flaw in the end product can be enough for destroying the entire effort of the developer with a huge unrecoverable damage to the society. For this reason, Federal Aviation Administration’s...

متن کامل

Experimental evaluation of the tolerance for control-flow test criteria

For a given test criterion, the number of test-sets satisfying the criterion may be very large, with varying fault detection effectiveness. In recent work [29], the measure of variation in effectiveness of test criterion was defined as ‘tolerance’. This paper presents an experimental evaluation of tolerance for control-flow test criteria. The experimental analysis is done by exhaustive test-set...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014